/*
 * task_sys.h
 *
 *  Created on: 2016-11-9
 *      Author: m
 */

#ifndef SRC_INCLUDE_KERNEL_TASK_SYS_H_
#define SRC_INCLUDE_KERNEL_TASK_SYS_H_


void task_sys();
int get_ticks();

#endif /* SRC_INCLUDE_KERNEL_TASK_SYS_H_ */
